PyDigger - unearthing stuff about Python
| Name | Version | Summary | date |
|---|---|---|---|
| pygments-rzk | 0.1.3 | Pygments lexer for Rzk language (of proof assistant for synthetic ∞-categories). | 2023-07-10 21:57:31 |
Nikolai Kudasov
| hour | day | week | total |
|---|---|---|---|
| 73 | 2178 | 10795 | 209482 |